Small generating sets for the Torelli group
نویسندگان
چکیده
Proving a conjecture of Dennis Johnson, we show that the Torelli subgroup Ig of the genus g mapping class group has a finite generating set whose size grows cubically with respect to g. Our main tool is a new space called the handle graph on which Ig acts cocompactly.
منابع مشابه
An infinite presentation of the Torelli group
In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping class group of a surface whose generators consist of the set of all “separating twists”, all “bounding pair maps”, and all “commutators of simply intersecting pairs” and whose relations all come from a short list of topological configurations of these generators on the surface. Aside from a few obvious o...
متن کاملOn the second homology group of the Torelli subgroup of AutpFnq
Let IAn be the Torelli subgroup of AutpFnq. We give an explicit finite set of generators for H2pIAnq as a GLnpZq-module. Corollaries include a version of surjective representation stability for H2pIAnq, the vanishing of the GLnpZq-coinvariants of H2pIAnq, and the vanishing of the second rational homology group of the level l congruence subgroup of AutpFnq. Our generating set is derived from a n...
متن کاملGenerating the Torelli Group
We give a new proof of the theorem of Birman–Powell that the Torelli subgroup of the mapping class group of a closed orientable surface of genus at least 3 is generated by simple homeomorphisms known as bounding pair maps. The key ingredient is a proof that the subcomplex of the curve complex of the surface spanned by curves within a fixed homology class is connected.
متن کاملCutting and pasting in the Torelli group
We introduce machinery to allow “cut-and-paste”-style inductive arguments in the Torelli subgroup of the mapping class group. In the past these arguments have been problematic because restricting the Torelli group to subsurfaces gives different groups depending on how the subsurfaces are embedded. We define a category TSur whose objects are surfaces together with a decoration restricting how th...
متن کاملFinite Type 3-manifold Invariants and the Structure of the Torelli Group I
Using the recently developed theory of finite type invariants of integral homology 3-spheres we study the structure of the Torelli group of a closed surface. Explicitly, we construct (a) natural cocycles of the Torelli group (with coefficients in a space of trivalent graphs) and cohomology classes of the abelianized Torelli group; (b) group homomorphisms that detect (rationally) the nontriviali...
متن کامل